Buy Used and New Rocco De Nicola Books

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... 9700 (Lecture Notes in Computer Science)

by Marco Bernardo,Rocco De Nicola,Jane Hillston

ISBN 13: 9783319340951

Format: Paperback (272 pages)
Publisher: Springer
Published: 12 Jun 2016

Save for later

Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on ... 7890 (Lecture Notes in Computer Science)

by Rocco De Nicola,Christine Julien

ISBN 13: 9783642384929

Format: Paperback (268 pages)
Publisher: Springer
Published: 17 May 2013

Save for later